<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>

<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.09">
<LINK rel="stylesheet" type="text/css" href="Reference-Manual.css">
<TITLE>Tactics Index</TITLE>
</HEAD>
<BODY >
<A HREF="general-index.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
<A HREF="toc.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="command-index.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
<HR>
<H1 CLASS="chapter">Tactics Index</H1><P></P><TABLE CELLSPACING=6 CELLPADDING=0><TR><TD VALIGN=top ALIGN=left><UL CLASS="indexenv"><LI CLASS="li-indexenv">
<TT>&#X2223;&#X2223;</TT>, <A HREF="Reference-Manual011.html#@tactic145">9.2</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>;</TT>, <A HREF="Reference-Manual011.html#@tactic139">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>;[&#X2026;</TT><TT>&#X2223;</TT><TT>&#X2026;</TT><TT>&#X2223;</TT><TT>&#X2026;]</TT>, <A HREF="Reference-Manual011.html#@tactic140">9.2</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>abstract</TT>, <A HREF="Reference-Manual011.html#@tactic151">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>absurd</TT>, <A HREF="Reference-Manual010.html#@tactic35">8.4.1</A>
</LI><LI CLASS="li-indexenv"><TT>apply</TT>, <A HREF="Reference-Manual010.html#@tactic18">8.3.6</A>
</LI><LI CLASS="li-indexenv"><TT>apply &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic19">1</A>
</LI><LI CLASS="li-indexenv"><TT>apply </TT><TT>&#X2026;</TT><TT> in</TT>, <A HREF="Reference-Manual010.html#@tactic28">8.3.9</A>
</LI><LI CLASS="li-indexenv"><TT>assert</TT>, <A HREF="Reference-Manual010.html#@tactic24">8.3.8</A>
</LI><LI CLASS="li-indexenv"><TT>assert as</TT>, <A HREF="Reference-Manual010.html#@tactic27">5</A>
</LI><LI CLASS="li-indexenv"><TT>assert by</TT>, <A HREF="Reference-Manual010.html#@tactic26">4</A>
</LI><LI CLASS="li-indexenv"><TT>assumption</TT>, <A HREF="Reference-Manual010.html#@tactic6">8.3.1</A>
</LI><LI CLASS="li-indexenv"><TT>auto</TT>, <A HREF="Reference-Manual010.html#@tactic120">8.12.1</A>
</LI><LI CLASS="li-indexenv"><TT>autorewrite</TT>, <A HREF="Reference-Manual010.html#@tactic138">8.12.12</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>case</TT>, <A HREF="Reference-Manual010.html#@tactic63">5</A>
</LI><LI CLASS="li-indexenv"><TT>case &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic64">6</A>
</LI><LI CLASS="li-indexenv"><TT>cbv</TT>, <A HREF="Reference-Manual010.html#@tactic37">8.5.1</A>
</LI><LI CLASS="li-indexenv"><TT>change</TT>, <A HREF="Reference-Manual010.html#@tactic31">8.3.11</A>
</LI><LI CLASS="li-indexenv"><TT>change &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic32">8.3.11</A>
</LI><LI CLASS="li-indexenv"><TT>classical_left</TT>, <A HREF="Reference-Manual010.html#@tactic118">8.11.1</A>
</LI><LI CLASS="li-indexenv"><TT>classical_right</TT>, <A HREF="Reference-Manual010.html#@tactic119">8.11.1</A>
</LI><LI CLASS="li-indexenv"><TT>clear</TT>, <A HREF="Reference-Manual010.html#@tactic8">8.3.2</A>
</LI><LI CLASS="li-indexenv"><TT>clearbody</TT>, <A HREF="Reference-Manual010.html#@tactic9">2</A>
</LI><LI CLASS="li-indexenv"><TT>compare</TT>, <A HREF="Reference-Manual010.html#@tactic88">8.9.2</A>
</LI><LI CLASS="li-indexenv"><TT>compute</TT>, <A HREF="Reference-Manual010.html#@tactic39">8.5.1</A>, <A HREF="Reference-Manual010.html#@tactic41">1</A>
</LI><LI CLASS="li-indexenv"><TT>congruence</TT>, <A HREF="Reference-Manual010.html#@tactic130">8.12.7</A>
</LI><LI CLASS="li-indexenv"><TT>constructor</TT>, <A HREF="Reference-Manual010.html#@tactic51">8.6.1</A>
</LI><LI CLASS="li-indexenv"><TT>constructor &#X2026;  with</TT>, <A HREF="Reference-Manual010.html#@tactic52">2</A>
</LI><LI CLASS="li-indexenv"><TT>contradiction</TT>, <A HREF="Reference-Manual010.html#@tactic36">8.4.2</A>
</LI><LI CLASS="li-indexenv"><TT>cut</TT>, <A HREF="Reference-Manual010.html#@tactic25">3</A>
</LI><LI CLASS="li-indexenv"><TT>cutrewrite</TT>, <A HREF="Reference-Manual010.html#@tactic78">8.8.2</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>decide equality</TT>, <A HREF="Reference-Manual010.html#@tactic87">8.9.1</A>
</LI><LI CLASS="li-indexenv"><TT>decompose</TT>, <A HREF="Reference-Manual010.html#@tactic68">8.7.5</A>
</LI><LI CLASS="li-indexenv"><TT>decompose record</TT>, <A HREF="Reference-Manual010.html#@tactic70">2</A>
</LI><LI CLASS="li-indexenv"><TT>decompose sum</TT>, <A HREF="Reference-Manual010.html#@tactic69">1</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion</TT>, <A HREF="Reference-Manual010.html#@tactic105">10</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion &#X2026; as </TT>, <A HREF="Reference-Manual010.html#@tactic106">11</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion &#X2026; as &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic110">15</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic109">14</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion_clear</TT>, <A HREF="Reference-Manual010.html#@tactic107">12</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion_clear &#X2026; as</TT>, <A HREF="Reference-Manual010.html#@tactic108">13</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion_clear &#X2026; as &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic112">17</A>
</LI><LI CLASS="li-indexenv"><TT>dependent inversion_clear &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic111">16</A>
</LI><LI CLASS="li-indexenv"><TT>dependent rewrite -&gt;</TT>, <A HREF="Reference-Manual010.html#@tactic95">8.9.6</A>
</LI><LI CLASS="li-indexenv"><TT>dependent rewrite &lt;-</TT>, <A HREF="Reference-Manual010.html#@tactic96">1</A>
</LI><LI CLASS="li-indexenv"><TT>destruct</TT>, <A HREF="Reference-Manual010.html#@tactic62">8.7.2</A>
</LI><LI CLASS="li-indexenv"><TT>discriminate</TT>, <A HREF="Reference-Manual010.html#@tactic89">8.9.3</A>, <A HREF="Reference-Manual010.html#@tactic90">2</A>
</LI><LI CLASS="li-indexenv"><TT>discrR</TT>, <A HREF="Reference-Manual005.html#@tactic0">3.2.4</A>
</LI><LI CLASS="li-indexenv"><TT>do</TT>, <A HREF="Reference-Manual011.html#@tactic141">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>double induction</TT>, <A HREF="Reference-Manual010.html#@tactic67">8.7.4</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>eapply</TT>, <A HREF="Reference-Manual010.html#@tactic20">3</A>, <A HREF="Reference-Manual012.html#@tactic153">10.2</A>
</LI><LI CLASS="li-indexenv"><TT>eassumption</TT>, <A HREF="Reference-Manual010.html#@tactic7">8.3.1</A>
</LI><LI CLASS="li-indexenv"><TT>eauto</TT>, <A HREF="Reference-Manual010.html#@tactic122">8.12.2</A>
</LI><LI CLASS="li-indexenv"><TT>eexact</TT>, <A HREF="Reference-Manual010.html#@tactic4">1</A>
</LI><LI CLASS="li-indexenv"><TT>elim &#X2026; using</TT>, <A HREF="Reference-Manual010.html#@tactic59">9</A>
</LI><LI CLASS="li-indexenv"><TT>elim &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic58">7</A>
</LI><LI CLASS="li-indexenv"><TT>elimtype</TT>, <A HREF="Reference-Manual010.html#@tactic60">10</A>
</LI><LI CLASS="li-indexenv"><TT>evar</TT>, <A HREF="Reference-Manual010.html#@tactic33">8.3.13</A>
</LI><LI CLASS="li-indexenv"><TT>exact</TT>, <A HREF="Reference-Manual010.html#@tactic3">8.2.1</A>
</LI><LI CLASS="li-indexenv"><TT>exists</TT>, <A HREF="Reference-Manual010.html#@tactic54">4</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>fail</TT>, <A HREF="Reference-Manual011.html#@tactic149">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>field</TT>, <A HREF="Reference-Manual010.html#@tactic134">8.12.10</A>, <A HREF="Reference-Manual025.html#@tactic161">20.7</A>
</LI><LI CLASS="li-indexenv"><TT>field_simplify</TT>, <A HREF="Reference-Manual010.html#@tactic135">8.12.10</A>, <A HREF="Reference-Manual025.html#@tactic162">20.7</A>
</LI><LI CLASS="li-indexenv"><TT>field_simplify_eq</TT>, <A HREF="Reference-Manual010.html#@tactic136">8.12.10</A>, <A HREF="Reference-Manual025.html#@tactic163">20.7</A>
</LI><LI CLASS="li-indexenv"><TT>first</TT>, <A HREF="Reference-Manual011.html#@tactic146">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>firstorder</TT>, <A HREF="Reference-Manual010.html#@tactic126">8.12.6</A>
</LI><LI CLASS="li-indexenv"><TT>firstorder </TT><I><FONT COLOR=maroon>tactic</FONT></I>, <A HREF="Reference-Manual010.html#@tactic127">1</A>
</LI><LI CLASS="li-indexenv"><TT>firstorder using</TT>, <A HREF="Reference-Manual010.html#@tactic129">3</A>
</LI><LI CLASS="li-indexenv"><TT>firstorder with</TT>, <A HREF="Reference-Manual010.html#@tactic128">2</A>
</LI><LI CLASS="li-indexenv"><TT>fold</TT>, <A HREF="Reference-Manual010.html#@tactic49">8.5.6</A>
</LI><LI CLASS="li-indexenv"><TT>fourier</TT>, <A HREF="Reference-Manual010.html#@tactic137">8.12.11</A>
</LI><LI CLASS="li-indexenv"><TT>functional induction</TT>, <A HREF="Reference-Manual010.html#@tactic71">8.7.6</A>, <A HREF="Reference-Manual012.html#@tactic154">10.4</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>generalize</TT>, <A HREF="Reference-Manual010.html#@tactic29">8.3.10</A>
</LI><LI CLASS="li-indexenv"><TT>generalize dependent</TT>, <A HREF="Reference-Manual010.html#@tactic30">2</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>hnf</TT>, <A HREF="Reference-Manual010.html#@tactic44">8.5.3</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>idtac</TT>, <A HREF="Reference-Manual011.html#@tactic148">9.2</A>
</LI></UL></TD><TD VALIGN=top ALIGN=left><UL CLASS="indexenv"><LI CLASS="li-indexenv"><TT>induction</TT>, <A HREF="Reference-Manual010.html#@tactic57">8.7.1</A>
</LI><LI CLASS="li-indexenv"><TT>info</TT>, <A HREF="Reference-Manual011.html#@tactic150">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>injection</TT>, <A HREF="Reference-Manual010.html#@tactic91">8.9.4</A>, <A HREF="Reference-Manual010.html#@tactic92">2</A>
</LI><LI CLASS="li-indexenv"><TT>injection &#X2026; as</TT>, <A HREF="Reference-Manual010.html#@tactic93">3</A>
</LI><LI CLASS="li-indexenv"><TT>instantiate</TT>, <A HREF="Reference-Manual010.html#@tactic34">8.3.14</A>
</LI><LI CLASS="li-indexenv"><TT>intro</TT>, <A HREF="Reference-Manual010.html#@tactic12">8.3.5</A>
</LI><LI CLASS="li-indexenv"><TT>intro ... after</TT>, <A HREF="Reference-Manual010.html#@tactic17">7</A>
</LI><LI CLASS="li-indexenv"><TT>intro after</TT>, <A HREF="Reference-Manual010.html#@tactic16">6</A>
</LI><LI CLASS="li-indexenv"><TT>intros</TT>, <A HREF="Reference-Manual010.html#@tactic13">1</A>
</LI><LI CLASS="li-indexenv"><TT>intros </TT><I><FONT COLOR=maroon>intro_pattern</FONT></I>, <A HREF="Reference-Manual010.html#@tactic66">8.7.3</A>
</LI><LI CLASS="li-indexenv"><TT>intros until</TT>, <A HREF="Reference-Manual010.html#@tactic14">4</A>, <A HREF="Reference-Manual010.html#@tactic15">5</A>
</LI><LI CLASS="li-indexenv"><TT>intuition</TT>, <A HREF="Reference-Manual010.html#@tactic124">8.12.4</A>
</LI><LI CLASS="li-indexenv"><TT>inversion</TT>, <A HREF="Reference-Manual010.html#@tactic97">8.10.1</A>, <A HREF="Reference-Manual012.html#@tactic155">10.5</A>
</LI><LI CLASS="li-indexenv"><TT>inversion &#X2026; as</TT>, <A HREF="Reference-Manual010.html#@tactic99">3</A>
</LI><LI CLASS="li-indexenv"><TT>inversion &#X2026; as &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic102">7</A>
</LI><LI CLASS="li-indexenv"><TT>inversion &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic101">6</A>
</LI><LI CLASS="li-indexenv"><TT>inversion &#X2026; using</TT>, <A HREF="Reference-Manual010.html#@tactic115">20</A>
</LI><LI CLASS="li-indexenv"><TT>inversion &#X2026; using &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic116">21</A>
</LI><LI CLASS="li-indexenv"><TT>inversion_clear</TT>, <A HREF="Reference-Manual010.html#@tactic98">2</A>
</LI><LI CLASS="li-indexenv"><TT>inversion_clear &#X2026; as &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic104">9</A>
</LI><LI CLASS="li-indexenv"><TT>inversion_clear &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic103">8</A>
</LI><LI CLASS="li-indexenv"><TT>inversion_cleardots as</TT>, <A HREF="Reference-Manual010.html#@tactic100">5</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>lapply</TT>, <A HREF="Reference-Manual010.html#@tactic21">4</A>
</LI><LI CLASS="li-indexenv"><TT>lazy</TT>, <A HREF="Reference-Manual010.html#@tactic38">8.5.1</A>
</LI><LI CLASS="li-indexenv"><TT>left</TT>, <A HREF="Reference-Manual010.html#@tactic55">5</A>
</LI><LI CLASS="li-indexenv"><TT>legacy field</TT>, <A HREF="Reference-Manual025.html#@tactic165">20.9.3</A>
</LI><LI CLASS="li-indexenv"><TT>legacy ring</TT>, <A HREF="Reference-Manual025.html#@tactic164">20.9.1</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>move</TT>, <A HREF="Reference-Manual010.html#@tactic10">8.3.3</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>omega</TT>, <A HREF="Reference-Manual010.html#@tactic131">8.12.8</A>, <A HREF="Reference-Manual022.html#@tactic157">17.1</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>pattern</TT>, <A HREF="Reference-Manual010.html#@tactic50">8.5.7</A>
</LI><LI CLASS="li-indexenv"><TT>pose</TT>, <A HREF="Reference-Manual010.html#@tactic23">8.3.7</A>
</LI><LI CLASS="li-indexenv"><TT>progress</TT>, <A HREF="Reference-Manual011.html#@tactic144">9.2</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>quote</TT>, <A HREF="Reference-Manual010.html#@tactic117">8.10.4</A>, <A HREF="Reference-Manual012.html#@tactic156">10.7</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>red</TT>, <A HREF="Reference-Manual010.html#@tactic43">8.5.2</A>
</LI><LI CLASS="li-indexenv"><TT>refine</TT>, <A HREF="Reference-Manual010.html#@tactic5">8.2.2</A>, <A HREF="Reference-Manual012.html#@tactic152">10.1</A>
</LI><LI CLASS="li-indexenv"><TT>reflexivity</TT>, <A HREF="Reference-Manual010.html#@tactic80">8.8.4</A>
</LI><LI CLASS="li-indexenv"><TT>rename</TT>, <A HREF="Reference-Manual010.html#@tactic11">8.3.4</A>
</LI><LI CLASS="li-indexenv"><TT>repeat</TT>, <A HREF="Reference-Manual011.html#@tactic142">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>replace &#X2026; with</TT>, <A HREF="Reference-Manual010.html#@tactic79">8.8.3</A>
</LI><LI CLASS="li-indexenv"><TT>rewrite</TT>, <A HREF="Reference-Manual010.html#@tactic72">8.8.1</A>
</LI><LI CLASS="li-indexenv"><TT>rewrite -&gt;</TT>, <A HREF="Reference-Manual010.html#@tactic73">1</A>
</LI><LI CLASS="li-indexenv"><TT>rewrite -&gt; &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic76">4</A>
</LI><LI CLASS="li-indexenv"><TT>rewrite &lt;-</TT>, <A HREF="Reference-Manual010.html#@tactic74">2</A>
</LI><LI CLASS="li-indexenv"><TT>rewrite &lt;- &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic77">5</A>
</LI><LI CLASS="li-indexenv"><TT>rewrite &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic75">3</A>
</LI><LI CLASS="li-indexenv"><TT>right</TT>, <A HREF="Reference-Manual010.html#@tactic56">5</A>
</LI><LI CLASS="li-indexenv"><TT>ring</TT>, <A HREF="Reference-Manual010.html#@tactic132">8.12.9</A>, <A HREF="Reference-Manual025.html#@tactic158">20</A>, <A HREF="Reference-Manual025.html#@tactic159">20.4</A>
</LI><LI CLASS="li-indexenv"><TT>ring_simplify</TT>, <A HREF="Reference-Manual010.html#@tactic133">8.12.9</A>, <A HREF="Reference-Manual025.html#@tactic160">20.4</A>
</LI><LI CLASS="li-indexenv"><TT>rtauto</TT>, <A HREF="Reference-Manual010.html#@tactic125">8.12.5</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>set</TT>, <A HREF="Reference-Manual010.html#@tactic22">8.3.7</A>
</LI><LI CLASS="li-indexenv"><TT>setoid_replace</TT>, <A HREF="Reference-Manual026.html#@tactic166">21</A>
</LI><LI CLASS="li-indexenv"><TT>simpl</TT>, <A HREF="Reference-Manual010.html#@tactic45">8.5.4</A>
</LI><LI CLASS="li-indexenv"><TT>simpl &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic46">8.5.4</A>
</LI><LI CLASS="li-indexenv"><TT>simple destruct</TT>, <A HREF="Reference-Manual010.html#@tactic65">7</A>
</LI><LI CLASS="li-indexenv"><TT>simple induction</TT>, <A HREF="Reference-Manual010.html#@tactic61">11</A>
</LI><LI CLASS="li-indexenv"><TT>simple inversion</TT>, <A HREF="Reference-Manual010.html#@tactic113">18</A>
</LI><LI CLASS="li-indexenv"><TT>simple inversion &#X2026; as</TT>, <A HREF="Reference-Manual010.html#@tactic114">19</A>
</LI><LI CLASS="li-indexenv"><TT>simplify_eq</TT>, <A HREF="Reference-Manual010.html#@tactic94">8.9.5</A>
</LI><LI CLASS="li-indexenv"><TT>solve</TT>, <A HREF="Reference-Manual011.html#@tactic147">9.2</A>
</LI><LI CLASS="li-indexenv"><TT>split</TT>, <A HREF="Reference-Manual010.html#@tactic53">3</A>
</LI><LI CLASS="li-indexenv"><TT>split_Rabs</TT>, <A HREF="Reference-Manual005.html#@tactic1">3.2.4</A>
</LI><LI CLASS="li-indexenv"><TT>split_Rmult</TT>, <A HREF="Reference-Manual005.html#@tactic2">3.2.4</A>
</LI><LI CLASS="li-indexenv"><TT>stepl</TT>, <A HREF="Reference-Manual010.html#@tactic85">8.8.8</A>
</LI><LI CLASS="li-indexenv"><TT>stepr</TT>, <A HREF="Reference-Manual010.html#@tactic86">8.8.8</A>
</LI><LI CLASS="li-indexenv"><TT>subst</TT>, <A HREF="Reference-Manual010.html#@tactic84">8.8.7</A>
</LI><LI CLASS="li-indexenv"><TT>symmetry</TT>, <A HREF="Reference-Manual010.html#@tactic81">8.8.5</A>
</LI><LI CLASS="li-indexenv"><TT>symmetry in</TT>, <A HREF="Reference-Manual010.html#@tactic82">8.8.5</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>tauto</TT>, <A HREF="Reference-Manual010.html#@tactic123">8.12.3</A>
</LI><LI CLASS="li-indexenv"><TT>transitivity</TT>, <A HREF="Reference-Manual010.html#@tactic83">8.8.6</A>
</LI><LI CLASS="li-indexenv"><TT>trivial</TT>, <A HREF="Reference-Manual010.html#@tactic121">5</A>
</LI><LI CLASS="li-indexenv"><TT>try</TT>, <A HREF="Reference-Manual011.html#@tactic143">9.2</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>unfold</TT>, <A HREF="Reference-Manual010.html#@tactic47">8.5.5</A>
</LI><LI CLASS="li-indexenv"><TT>unfold &#X2026; in</TT>, <A HREF="Reference-Manual010.html#@tactic48">1</A>
<BR>
<BR>
</LI><LI CLASS="li-indexenv"><TT>vm_compute</TT>, <A HREF="Reference-Manual010.html#@tactic40">8.5.1</A>, <A HREF="Reference-Manual010.html#@tactic42">2</A>
</LI></UL></TD></TR>
</TABLE><HR>
<A HREF="general-index.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
<A HREF="toc.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
<A HREF="command-index.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
